import java.util.HashSet;

/**
 * 
 * @author Olivier
 * 
 * All the states attainable with one transition's label (for a state)
 *
 */
public class StateLabelTargets
{
	protected String label;
	protected HashSet<State> states;
	
	public StateLabelTargets()
	{
		label = "";
		states = new HashSet<State>();
	}

	/**
	 * @return the label
	 */
	public String getLabel()
	{
		return label;
	}

	/**
	 * @param label the label to set
	 */
	public void setLabel(String label)
	{
		this.label = label;
	}

	/**
	 * @return the states
	 */
	public HashSet<State> getStates()
	{
		return states;
	}
	
	
}
